Fix IPI handling before vcpu launched
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 10 Nov 2005 11:11:39 +0000 (12:11 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 10 Nov 2005 11:11:39 +0000 (12:11 +0100)
commit76bebddcdf0d4639f5e04449986884524c5c0857
tree9911d4f537b3745050e01191e58247e3f8c6b733
parent2dd84649de382f2d342153908c93f14404a29657
Fix IPI handling before vcpu launched

When sending IPI, the target vcpu may not be launched (like
INIT/Start-Up IPI), and the local apic is not initialized. Fix handling
on such case.

Also fix one bug in apic_round_robin function.

Signed-off-by: Yunhong Jiang <yunhong.jiang@intel.com>
Signed-off-by: Xin Li <xin.b.li@intel.com>
xen/arch/x86/vmx_vlapic.c